This patch is to boot 32-bit VMX guest on the 64-bit host.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 2 Sep 2005 09:43:32 +0000 (09:43 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 2 Sep 2005 09:43:32 +0000 (09:43 +0000)
commita22019c74bb5d6dcfc52479148b543279b7b70da
tree95cb090768384c75d8982cee986408a9bf22afe1
parenta5c2e9df354b4fe7359e5e77ee39dfb2b6edc9d7
This patch is to boot 32-bit VMX guest on the 64-bit host.
Double-compile is used to make both 64-bit guest and 32-bit guest can
work, the shadow page-table uses current 64-bit shadow code's structure
to simulate 32-bit guest's 2-level page-table.

Signed-off-by: Chengyuan Li <chengyuan.li@intel.com>
Signed-off-by: Xiaohui Xin <xiaohui.xin@intel.com>
Signed-off-by: Jun Nakajima <jun.nakajima@intel.com>
xen/arch/x86/Makefile
xen/arch/x86/shadow.c
xen/arch/x86/shadow_public.c
xen/arch/x86/vmx.c
xen/include/asm-x86/page-guest32.h
xen/include/asm-x86/shadow.h
xen/include/asm-x86/shadow_64.h
xen/include/asm-x86/shadow_public.h